And-or Parallel Prolog: a Recomputation Based Approachf

نویسنده

  • Vítor Santos
چکیده

We argüe that in order to exploit both Independent Andand Or-parallelism in Prolog programs there is advantage in recomputing some of the independent goals, as opposed to all their solutions being reused. We present an abstract model, called the Composition-Tree, for representing and-or parallelism in Prolog Programs. The Composition-tree closely mirrors sequential Prolog execution by recomputing some independent goals rather than fully re-using them. We also outline two environment representation techniques for And-Or parallel execution of full Prolog based on the Composition-tree model abstraction. We argüe that these techniques have advantages over earlier proposals for exploiting and-or parallelism in Prolog.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Selective Recomputation for Handling Side-Effects in Parallel Logic Programs

In contrast to merely AND-and merely OR-parallel execution models/systems, the side-eeect problem in AND/OR parallel execution of Prolog programs is intricate and need to be carefully investigated. To decrease the non-trivial recomputation occurred in previous approach, this paper presents a Selective Recomputation(SR) approach for handling side-eeects in the OR-forest model which can exploit b...

متن کامل

Recomputation based Implementations of And-Or Parallel Prolog

We argüe that in order to exploit both Independent Andand Or-parallelism in Prolog programs there is advantage in recomputing some of the independent goals, as opposed to all their solutions being reused. We present an abstract model, called the CompositionTree, for representing and-or parallelism in Prolog Programs. The Composition-tree closely mirrors sequential Prolog execution by recomputin...

متن کامل

Cuts and Side-Effects in And-Or Parallel Prolog

y > Practical Prolog programs usually contain extra-logical features like cuts, side-eeects, and database manipulating predicates. In order to exploit implicit parallelism from real applications while preserving sequential Prolog semantics, a parallel logic programming system should necessarily support these features. In this paper we show how Prolog's extra-logical features can be supported in...

متن کامل

Cuts and Side-eeects in And-or Parallel Prolog

Practical Prolog programs usually contain extra-logical features like cuts, side-eeects, and database manipulating predicates. In order to exploit implicit parallelism from real applications while preserving sequential Prolog semantics, a parallel logic programming system should necessarily support these features. In this paper we show how Prolog's extra-logical features can be supported in an ...

متن کامل

The SBA: Exploiting Orthogonality in AND-OR Parallel Systems

One of the advantages of logic programming is the fact that one can exploit implicit parallelism in logic programs, such as and-parallelism and or-parallelism. Recently, research has been concentrated on integrating the diierent forms of parallelism into a single combined system. In this work we concentrate on the problem of integrating or-parallelism and independent and-parallelism for paralle...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012